7.28/10.36	unsat
