4.94/7.91	unsat
