25.64/25.79	unsat
