0.12/0.66	unsat
