5.85/5.91	unsat
