5.89/5.91	unsat
