63.22/65.22	unsat
