62.16/65.73	unsat
