4.84/5.26	unsat
