62.64/67.24	unsat
