9.17/11.51	unsat
