25.42/26.71	unsat
