18.39/18.48	unsat
