24.62/27.85	unsat
