7.17/11.91	unsat
