24.83/25.21	unsat
