25.26/25.94	unsat
