5.39/5.62	unsat
