63.36/65.05	unsat
