4.66/5.26	unsat
