4.76/5.04	unsat
