0.56/0.66	unsat
