0.80/0.95	unsat
