7.17/11.32	unsat
