62.31/67.60	unsat
