0.57/0.66	unsat
