18.49/22.62	unsat
