0.95/0.97	unsat
