25.95/26.23	unsat
