0.95/1.00	unsat
