5.47/7.91	unsat
