0.10/0.54	unsat
