8.96/11.87	unsat
