25.17/26.51	unsat
