8.40/11.51	unsat
