5.88/5.91	unsat
