0.29/0.54	unsat
