62.36/65.50	unsat
