8.68/11.51	unsat
