0.18/0.66	unsat
