639.69/642.73	unsat
