6.42/7.91	unsat
