4.68/4.91	unsat
