4.87/4.91	unsat
