62.57/65.05	unsat
