8.87/11.34	unsat
