24.57/25.54	unsat
