16.46/18.36	unsat
