0.44/0.52	unsat
