7.88/11.01	unsat
