25.26/25.37	unsat
