0.18/0.32	unsat
