5.67/7.91	unsat
