1025.22/1029.47	unsat
