0.54/0.66	unsat
