25.30/26.49	unsat
