9.76/11.00	unsat
