24.95/26.49	unsat
