0.80/1.00	unsat
