0.47/0.54	unsat
