9.96/11.34	unsat
