0.47/0.55	unsat
