63.85/65.79	unsat
