62.81/69.01	unsat
