62.35/65.50	unsat
