24.85/26.51	unsat
