24.56/26.41	unsat
