0.06/0.54	unsat
