8.96/11.51	unsat
