4.72/5.26	unsat
