8.88/11.95	unsat
