2333.69/2338.48	unsat
