63.74/65.58	unsat
