4.89/4.91	unsat
