25.33/25.40	unsat
