24.98/29.62	unsat
