24.36/26.81	unsat
