18.37/18.48	unsat
