0.47/0.53	unsat
