62.46/65.89	unsat
