0.79/1.00	unsat
